11203 - Can you decide it for ME/out.txt

   1 theorem\r
   2 no-theorem\r
   3 theorem\r
   4 no-theorem\r
   5 no-theorem\r
   6 theorem\r
   7 no-theorem\r
   8 no-theorem\r
   9 no-theorem\r
  10 no-theorem\r
  11 no-theorem\r
  12 no-theorem\r
  13 no-theorem\r
  14 theorem\r
  15 theorem\r
  16 no-theorem\r
  17 theorem\r
  18 no-theorem\r
  19 no-theorem\r
  20 no-theorem\r
  21 no-theorem\r
  22 no-theorem\r
  23 no-theorem\r
  24 theorem\r
  25 no-theorem\r
  26 no-theorem\r
  27 theorem\r
  28 no-theorem\r
  29 theorem\r
  30 theorem\r
  31 theorem\r
  32 theorem\r
  33 theorem\r
  34 theorem\r
  35 theorem\r
  36 theorem\r
  37 theorem\r
  38 theorem\r
  39 theorem\r
  40 theorem\r
  41 theorem\r
  42 theorem\r
  43 theorem\r
  44 theorem\r
  45 theorem\r
  46 theorem\r
  47 theorem\r
  48 theorem\r
  49 theorem\r